package solver;
/**
 * 
 * Enum type which represents the three values that a solver returns
 *
 */

public enum Decision {
	YES, NO, UNKNOWN
}
